Mutation-Based Test Case Generation for Simulink Models
نویسندگان
چکیده
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means of automated test-case generation. In the style of faultand mutation-based testing, the coverage of a Simulink program by a test suite is defined in terms of the detection of injected faults. Using bounded model checking techniques, we are able to effectively and automatically compute test suites for given fault models. Several optimisations are discussed to make the approach practical for realistic Simulink programs and fault models, and to obtain accurate coverage measures.
منابع مشابه
Mutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing
Software testing is costly, labor intensive, and time consuming. Modern testing requires faults to be discovered at the earliest possible stages to decrease the cost of fixing errors in software development process. Thus, high level models such as Simulink models have become the focus of much verification effort and research. Mutation testing is a powerful and effective testing technique in ter...
متن کاملA search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at higher levels of abstraction. In this paper the application of such approaches at the higher levels of abstraction offered by MATLAB/ Simulink models is investigated and a wide-ranging framework for test-data generation and management is presented. Model-level a...
متن کاملCase Study of Test Case Generation Based on Metamodel for Model Transformations
The validation of transformations in the Model-Driven Engineering (MDE) context is important to ensure the quality and correctness of the models. The validation of MDE transformation is burdensome due to both the complexity of the models and the variety of languages that implement them. A test case generation technique can be applied to support the validation process; however, it is challenging...
متن کاملTightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction
We present a case study applying the k-induction method to equivalence checking of Simulink designs. In particular, we are interested in the problem of equivalence detection in mutation-based testing: given a design S, determining whether a “mutant” design S′ derived from S by syntactic fault injection is behaviourally equivalent to S. In this situation, efficient equivalence checking technique...
متن کاملDIVERSITY – TG Automatic Test Case Generation from Matlab / Simulink models
Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive, nuclear...). Therefore, most development processes require the use of model-based approaches such as UML, Matlab/Simulink, Statemate, etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V...
متن کامل